退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:论证中的完全扩展与逻辑编程中的三值稳定模型一致
Yining Wu; Martin Caminada; Dov Gabbay;
机译:论证中的完整扩展与逻辑编程中的三值稳定模型一致
机译:争论中的完整扩展与逻辑编程中的3个值表模型一致
机译:关于三值稳定模型语义的非逻辑推导中通用逻辑程序的完善且完整的过程
机译:FQHT:具有内涵函数的逻辑程序的稳定模型的逻辑
机译:具有稳定模型的逻辑编程,可以满足约束条件。
机译:角色分组是对Ontylog描述逻辑的扩展它受SNOMED中概念建模的驱动。
机译:通过逻辑程序和稳定模型语义实现约束满足
机译:三值逻辑系统逻辑电路设计装置,三值逻辑系统逻辑电路设计方法以及三值逻辑系统逻辑电路设计程序
机译:参数结构扩展设备,参数结构扩展方法,程序和数据结构
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。